机译:基于事件驱动的有色Petri网的UML序列图一致性测试的工具集
机译:具有UML序列图和彩色Petri网的反应系统的基于模型的需求分析
机译:具有UML序列图和彩色Petri网的反应系统的基于模型的需求分析
机译:从UML状态图和协作图到彩色Petri网模型:基于图变换的虚拟企业业务流程建模和分析方法
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:具有活动状态转移图的高阶Petri网模型的时变结构转换分析
机译:时序图测试用例规范和使用定时弧Petri网的虚拟集成分析
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。